(check (eq 'x 'x))
